- 計算機科學中的邏輯學
- 計算機邏輯
下載手機詞典可隨時隨地查詞查翻譯
logic in computer science中文什么意思
例句與用法
- A machine checkable logic of knowledge for specifying security properties of electronic commerce protocols . in proc . 13th ieee annual symposium on logic in computer science lics98 workshop on formal methods and security protocols , indianapolis , indiana , june 21 - 24 , 1998 , http : citeseer . ist . psu . edu clarke98machine . html
為了驗證更多的性質(zhì),我們的公理集中加入了一些新的特性,如動態(tài)性,使我們可以推導協(xié)議的每個執(zhí)行步所得到的知識還有秘密性,我們在公理中加入那些處理智能體間共享秘密的公理